Multiple-Valued Logic Operations with Universal Literals
نویسندگان
چکیده
We propose the use of universal literals as a means of reducing the cost of multiple-valued circuits. A universal literal is any function on one variable. The target architecture is a sum-of-products structure, where sum is the truncated sum and product terms consist of the minimum of universal literals. A significant cost reduction is demonstrated over the conventional window literal. The proposed synthesis method starts with a sumof products expression. Simplification occurs as pairs of product terms are merged and reshaped. We show under what conditions such operations can be applied.
منابع مشابه
Multiple-valued Logic Operations with Universal Literalst
We propose the use of universal literals as a means of reducing the cost of multiple-valued circuits. A universal literal is any function on one variable. The target architecture is a sum-of-products structure, where sum is the truncated sum and product terms consist of the minimum of universal literals. A significant cost reduction is demonstrated over the conventional window literal. The prop...
متن کاملMultiple-Valued Programmable Logic Arrays with Universal Literals
A universal literal is a single-variable function and has an ability to manipulate more information than a set lateral. The array size therefore could be eliminated b y using universal literal generators (ULGs for short) in programmable logic arrays (PLAs), compared to PLAs with set literals. This paper discusses what operator is the most suitable in the term of eliminating the array size. We f...
متن کاملPrime and Non-prime Implicants in the Minimization of Multiple-valued Logic Functions
We investigate minimal sum-of-products expressions for multiple-valued logic functions for realization by programmable logic arrays. Our focus is on expressions where product terms consist of the MIN of interval literals on input variables and are combined using one of two operations SUM or MAX. In binary logic, the question of whether or not prime implicants are sufficient to optimally realize...
متن کاملBoolean Valued Models and Incomplete Specifications
Logic programming has favored universal Horn theories for several reasons. An advantage of consistent universal Horn theories, compared with arbitrary consistent theories, is the fact that they possess a “typical” model-the least Herbrand model. More precisely, in order to verify that a sentence of the form 3 X, . . . 3 x, A, where A is a conjunction of atomic formulas (i.e. positive literals),...
متن کاملFrom paraconsistent three-valued logics to multiple-source epistemic logic
Several interpretations can be given to the third truth value in three-valued logics. Here, we consider the case when it refers to the epistemic notion of contradictory, or both true and false at the same time. We study several paraconsistent threevalued logics that carry this concern and show that they can be translated into a fragment of a simple epistemic logic where modalities can only appe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994